Modeling and Risk Analysis of Hardware-Software Systems
نویسندگان
چکیده
منابع مشابه
Systems Risk Analysis UsingHierarchical Modeling
A fresh look at the system analysis helped us in finding a new way of calculating the risks associated with the system. The author found that, due to the shortcomings of RPN, more researches needed to be done in this area to use RPNs as a new source of information for system risk analysis. It is the purpose of this article to investigate the fundamental concepts of failure modes and effects ana...
متن کاملZur Zuverlässigkeitsmodellierung von Hardware- Software-Systemen On the Reliability Modeling of Hardware-Software-Systems
Zur Zuverlässigkeitsanalyse von Hardware-Software-Systemen ist ein Systemmodell notwendig, welches sowohl Struktur und Architektur der Hardware als auch die ausgeführte Funktion betrachtet. Wird einer dieser Aspekte des Gesamtsystems vernachlässigt, kann sich eine zu optimische oder zu konservative Schätzung der Zuverlässigkeit ergeben. Ein reines Strukturmodell der Hardware erlaubt, den Einflu...
متن کاملHardware and Software Systems
Logical errors in finite-state concurrent systems such as sequential circuit designs and communication protocols are an important problem for computer scientists. They can delay getting a new product on the market or cause the failure of some critical device that is already in use. My research group has developed a verification method called temporal logic model checking for this class of syste...
متن کاملModeling of hardware software performance of high-tech systems
The performance of the control system is an important aspect of a machine. It would be a waste if a high-tech machine has been build such that it can physically achieve a high throughput, for example printed sheets of paper, but is limited because the software controlling it cannot keep up. Unfortunately, with current techniques it is hard to “predict” beforehand what the performance of the sof...
متن کاملModeling of Software-Hardware Complexes
Various issues related to modeling of software-hardware complexes, including the following, will be addressed. • Are those currently available modeling approaches insufficient for use in systematic design and optimization of embedded software + hardware systems? • Are there potential synergies between software modeling and hardware modeling approaches? • What are the possibilities of and obstac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2017
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2017-29(5)-13